Impredicative Encodings of (Higher) Inductive Types

Postulating an impredicative universe in dependent type theory allows System F style encodings of finitary inductive types, but these fail to satisfy the relevant {\eta}-equalities and consequently do not admit dependent eliminators. To recover {\eta} and dependent elimination, we present a method to construct refinements of these impredicative encodings, using ideas from homotopy type theory. We then extend our method to construct impredicative encodings of some higher inductive types, such as 1-truncation and the unit circle S1

Integrating family planning services into HIV care: use of a point-of-care electronic medical record system in Lilongwe, Malawi

Background: Integrating family planning (FP) services into human immunodeficiency virus (HIV) clinical care helps improve access to contraceptives for women living with HIV. However, high patient volumes may limit providers’ ability to counsel women about pregnancy risks and contraceptive options

Integrating reproductive health services into HIV care: strategies for successful implementation in a low-resource HIV clinic in Lilongwe, Malawi

BackgroundLighthouse Trust operates two public HIV testing, treatment and care clinics in Lilongwe, Malawi, caring for over 26 000 people living with HIV, 23 000 of whom are on antiretroviral treatment (ART). In August 2010, Lighthouse Trust piloted a step-wise integration of sexual and reproductive health (SRH) services into routine HIV care at its Lighthouse clinic site. The objectives were to increase uptake of family planning (FP), promote long-term reversible contraceptive methods, and increase access, screening and treatment for cervical cancer using visual inspection with acetic acid.Methods and resultsPatients found integrated SRH/ART services acceptable; service availability appeared to increase uptake. Between August 2010 and May 2014, over 6000 women at Lighthouse received FP education messages. Of 859 women who initiated FP, 55% chose depot medroxyprogesterone acetate, 19% chose an intrauterine contraceptive device, 14% chose oral contraceptive pills, and 12% chose an implant. By May 2014, 21% of eligible female patients received cervical cancer screening: 11% (166 women) had abnormal cervical findings during screening for cervical cancer and underwent further treatment.ConclusionsSeveral lessons were learned in overcoming initial concerns about integration. First, our integrated services required minimal additional resources over those needed for provision of HIV care alone. Second, patient flow improved during implementation, reducing a barrier for clients seeking multiple services. Lastly, analysis of routine data showed that the proportion of women using some form of modern contraception was 45% higher at Lighthouse than at Lighthouse's sister clinic where services were not integrated (42% vs 29%), providing further evidence for promotion of SRH/ART integration

A cross-sectional study to evaluate second line virological failure and elevated bilirubin as a surrogate for adherence to atazanavir/ritonavir in two urban HIV clinics in Lilongwe, Malawi

BACKGROUND: Malawi's national antiretroviral therapy program provides atazanavir/ritonavir-based second line regimens which cause concentration-dependent rise in indirect bilirubin. We sought to determine if elevated bilirubin, as a surrogate of atazanavir/ritonavir adherence, can aid in the evaluation of second line virological failure in Malawi. METHODS: We conducted a cross-sectional study of HIV-infected patients ≥15 years who were on boosted protease inhibitor-based second line antiretroviral therapy for at least 6 months in two urban HIV clinics in Lilongwe, Malawi. Antiretroviral therapy history and adherence data were extracted from the electronic medical records and blood was drawn for viral load, complete blood count, total bilirubin, and CD4 cell count at a clinic visit. Factors associated with virological failure were assessed using multivariate logistic regression model. RESULTS: Out of 376 patients on second line antiretroviral therapy evaluated, 372 (98.9%) were on atazanavir/ritonavir-based therapy and 142 (37.8%) were male. Mean age was 40.9 years (SD ± 10.1), mean duration on second line antiretroviral therapy was 41.9 months (SD ± 27.6) and 256 patients (68.1%) had elevated bilirubin >1.3 mg/dL. Overall, 35 (9.3%) patients had viral load >1000 copies/ml (virological failure). Among the virologically failing vs. non-failing patients, bilirubin was elevated in 34.3% vs. 72.0% respectively (p < 0.001), although adherence by pill count was similar (62.9% vs. 60.7%, p = 0.804). The odds of virological failure were higher for adults aged 25-40 years (adjusted odds ratio (aOR) 2.5, p = 0.048), those with CD4 cell count <100 (aOR 17.5, p < 0.001), and those with normal bilirubin levels (aOR 5.4, p < 0.001); but were lower for the overweight/obese patients (aOR 0.3, p = 0.026). Poor pill count adherence (aOR 0.7, p = 0.4) and male gender (aOR 1.2, p = 0.698) were not associated with second line virological failure. CONCLUSIONS: Among patients receiving atazanavir/ritonavir-based second line antiretroviral therapy, bilirubin levels better predicted virological failure than pill count adherence. Therefore, strategic use of bilirubin and viral load testing to target adherence counseling and support may be cost-effective in monitoring second line antiretroviral therapy adherence and virological failure. Drug resistance testing targeted for patients with virological failure despite elevated bilirubin levels would facilitate timely switch to third line antiretroviral regimens whenever available

Evaluating telehealth lifestyle therapy versus telehealth psychotherapy for reducing depression in adults with COVID-19 related distress: the curbing anxiety and depression using lifestyle medicine (CALM) randomised non-inferiority trial protocol

BACKGROUND: There is increasing recognition of the substantial burden of mental health disorders at an individual and population level, including consequent demand on mental health services. Lifestyle-based mental healthcare offers an additional approach to existing services with potential to help alleviate system burden. Despite the latest Royal Australian New Zealand College of Psychiatrists guidelines recommending that lifestyle is a ‘first-line’, ‘non-negotiable’ treatment for mood disorders, few such programs exist within clinical practice. Additionally, there are limited data to determine whether lifestyle approaches are equivalent to established treatments. Using an individually randomised group treatment design, we aim to address this gap by evaluating an integrated lifestyle program (CALM) compared to an established therapy (psychotherapy), both delivered via telehealth. It is hypothesised that the CALM program will not be inferior to psychotherapy with respect to depressive symptoms at 8 weeks. METHODS: The study is being conducted in partnership with Barwon Health’s Mental Health, Drugs & Alcohol Service (Geelong, Victoria), from which 184 participants from its service and surrounding regions are being recruited. Eligible participants with elevated psychological distress are being randomised to CALM or psychotherapy. Each takes a trans-diagnostic approach, and comprises four weekly (weeks 1-4) and two fortnightly (weeks 6 and 8) 90-min, group-based sessions delivered via Zoom (digital video conferencing platform). CALM focuses on enhancing knowledge, behavioural skills and support for improving dietary and physical activity behaviours, delivered by an Accredited Exercise Physiologist and Accredited Practising Dietitian. Psychotherapy uses cognitive behavioural therapy (CBT) delivered by a Psychologist or Clinical Psychologist, and Provisional Psychologist. Data collection occurs at baseline and 8 weeks. The primary outcome is depressive symptoms (assessed via the Patient Health Questionnaire-9) at 8 weeks. Societal and healthcare costs will be estimated to determine the cost-effectiveness of the CALM program. A process evaluation will determine its reach, adoption, implementation and maintenance. DISCUSSION: If the CALM program is non-inferior to psychotherapy, this study will provide the first evidence to support lifestyle-based mental healthcare as an additional care model to support individuals experiencing psychological distress. TRIAL REGISTRATION: Australia and New Zealand Clinical Trials Register (ANZCTR): ACTRN12621000387820, Registered 8 April 2021

Effect of angiotensin-converting enzyme inhibitor and angiotensin receptor blocker initiation on organ support-free days in patients hospitalized with COVID-19

IMPORTANCE Overactivation of the renin-angiotensin system (RAS) may contribute to poor clinical outcomes in patients with COVID-19. Objective To determine whether angiotensin-converting enzyme (ACE) inhibitor or angiotensin receptor blocker (ARB) initiation improves outcomes in patients hospitalized for COVID-19. DESIGN, SETTING, AND PARTICIPANTS In an ongoing, adaptive platform randomized clinical trial, 721 critically ill and 58 non–critically ill hospitalized adults were randomized to receive an RAS inhibitor or control between March 16, 2021, and February 25, 2022, at 69 sites in 7 countries (final follow-up on June 1, 2022). INTERVENTIONS Patients were randomized to receive open-label initiation of an ACE inhibitor (n = 257), ARB (n = 248), ARB in combination with DMX-200 (a chemokine receptor-2 inhibitor; n = 10), or no RAS inhibitor (control; n = 264) for up to 10 days. MAIN OUTCOMES AND MEASURES The primary outcome was organ support–free days, a composite of hospital survival and days alive without cardiovascular or respiratory organ support through 21 days. The primary analysis was a bayesian cumulative logistic model. Odds ratios (ORs) greater than 1 represent improved outcomes. RESULTS On February 25, 2022, enrollment was discontinued due to safety concerns. Among 679 critically ill patients with available primary outcome data, the median age was 56 years and 239 participants (35.2%) were women. Median (IQR) organ support–free days among critically ill patients was 10 (–1 to 16) in the ACE inhibitor group (n = 231), 8 (–1 to 17) in the ARB group (n = 217), and 12 (0 to 17) in the control group (n = 231) (median adjusted odds ratios of 0.77 [95% bayesian credible interval, 0.58-1.06] for improvement for ACE inhibitor and 0.76 [95% credible interval, 0.56-1.05] for ARB compared with control). The posterior probabilities that ACE inhibitors and ARBs worsened organ support–free days compared with control were 94.9% and 95.4%, respectively. Hospital survival occurred in 166 of 231 critically ill participants (71.9%) in the ACE inhibitor group, 152 of 217 (70.0%) in the ARB group, and 182 of 231 (78.8%) in the control group (posterior probabilities that ACE inhibitor and ARB worsened hospital survival compared with control were 95.3% and 98.1%, respectively). CONCLUSIONS AND RELEVANCE In this trial, among critically ill adults with COVID-19, initiation of an ACE inhibitor or ARB did not improve, and likely worsened, clinical outcomes. TRIAL REGISTRATION ClinicalTrials.gov Identifier: NCT0273570

Are They Really Lost? "True" Status and Reasons for Treatment Discontinuation among HIV Infected Patients on Antiretroviral Therapy Considered Lost to Follow Up in Urban Malawi

INTRODUCTION Patients who are lost to follow-up (LTFU) while on antiretroviral therapy (ART) pose challenges to the long-term success of ART programs. We describe the extent to which patients considered LTFU are misclassified as true disengagement from care when they are still alive on ART and explain reasons for ART discontinuation using our active tracing program to further improve ART retention programs and policies. METHODS We identified adult ART patients who missed clinic appointment by more than 3 weeks between January 2006 and December 2010, assuming that such patients would miss their doses of antiretroviral drugs. Patients considered LTFU who consented during ART registration were traced by phone or home visits; true ART status after tracing was documented. Reasons for ART discontinuation were also recorded for those who stopped ART. RESULTS Of the 4,560 suspected LTFU cases, 1,384 (30%) could not be traced. Of the 3,176 successfully traced patients, 952 (30%) were dead and 2,224 (70%) were alive, of which 2,183 (99.5%) started ART according to phone-based self-reports or physical verification during in-person interviews. Of those who started ART, 957 (44%) stopped ART and 1,226 (56%) reported still taking ART at the time of interview by sourcing drugs from another clinic, using alternative ART sources or making brief ART interruptions. Among 940 cases with reasons for ART discontinuations, failure to remember (17%), too weak/sick (12%), travel (46%), and lack of transport to the clinic (16%) were frequently cited; reasons differed by gender. CONCLUSION The LTFU category comprises sizeable proportions of patients still taking ART that may potentially bias retention estimates and misdirect resources at the clinic and national levels if not properly accounted for. Clinics should consider further decentralization efforts, increasing drug allocations for frequent travels, and improving communication on patient transfers between clinics to increase retention and adherence